A Fuzzy Set Semantics for Qualitative Fluents in the Situation Calculus
نویسندگان
چکیده
Specifying the behavior of an intelligent autonomous robot or agent is a non-trivial task. The question is: how can the knowledge of the domain expert be encoded in the agent program? Qualitative representations in general facilitate to express the knowledge of a domain expert. In this paper, we propose a semantics for qualitative fluents in the situation calculus. Our semantics is based on fuzzy sets. Membership functions define to which degree a qualitative fluent belongs to a particular category. Especially intriguing about a fuzzy set semantics for qualitative fluents is that the qualitative ranges may overlap, and a value can, at the same time, fall into several categories.
منابع مشابه
Reasoning with Qualitative Positional Information for Domestic Domains in the Situation Calculus
In this paper, we present a thorough integration of qualitative representations and reasoning for positional information for domestic service robotics domains into our high-level robot control. In domestic settings for service robots like in the RoboCup@Home competitions, complex tasks such as “get the cup from the kitchen and bring it to the living room” or “find me this and that object in the...
متن کاملUniversit a Di Pisa a Logic-based Calculus of Fluents a Logic-based Calculus of Fluents Universit a Degli Studi Di Pisa Dipartimento Di Informatica a Logic-based Calculus of Fluents
This report formally deenes the class of all problems on Reasoning about Actions and Change, where accurate and complete information about actions, together with strict inertia in continuous time, continuous change and alternative results of possibly concurrent and independent actions are the assumed properties. The intended model set for each member in the class is deened in terms of a model-t...
متن کاملSituation Calculus
The situation calculus is a logical language for representing changes. It was first introduced by McCarthy in 1963,1 and described in further details by McCarthy and Hayes [29] in 1969. The basic concepts in the situation calculus are situations, actions and fluents. Briefly, actions are what make the dynamic world change from one situation to another when performed by agents. Fluents are situa...
متن کاملThe Features-and-Fluents Semantics for the Fluent Calculus
Based on an elaborate ontological taxonomy, the Featuresand-Fluents framework provides an independent action semantics for assessing the range of applicability of action calculi. In this paper, we show how the fluent calculus can be used to capture the full range of phenomena in K-IA, the broadest ontological class that has been fully formalized in (Sandewall 1994). To this end, we develop a si...
متن کاملA Situation Calculus-based Approach To Model Ubiquitous Information Services
Wenyu DONG, Ke XU, Mengxiang LIN State Key Laboratory of Software Development Environment, Computer Science & Engineering Department, Beijing University of Aeronautics & Astronautics, Beijing, 100083, P. R. China {wydong, kexu, mxlin}@nlsde.buaa.edu.cn Abstract: This paper presents an augmented situation calculus-based approach to model autonomous computing paradigm in ubiquitous information se...
متن کامل